Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
301	The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation Greg J. Badros Alan Borning Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2000-05-10 17:41:18 Mathematics Applied mathematics Simplex algorithm Linear programming Slack variable Constraint logic programming Constraint Least squares Hybrid algorithm Mathematical optimization Constraint programming Operations research
302	A hybrid approach to staff scheduling: The Staff Work Allocation Tool (SWAT) Graham Winstanley Abstract Assigning nursing staff to specific duties according to their contract, qualifications, skills, Add to Reading List Source URL: www.cem.brighton.ac.uk Language: English - Date: 2003-03-24 06:32:38 Computer programming Constraint satisfaction Nurse scheduling problem Constraint logic programming Mathematical optimization Hybrid algorithm ECLiPSe Constraint programming Declarative programming Software engineering
303	EFFECTIVE STATIC RACE DETECTION FOR JAVA A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2008-06-19 17:55:37 Theoretical computer science Computer programming Algorithm Mathematical logic Thesis Programming language Parallel computing Lookup table Computing Software optimization Education
304	How DENDRAL was conceived and born. Joshua Lederberg Rockefeller University New York, N.Y. As agreed with your organizers, this will be a somewhat personal history. They have given me permission Add to Reading List Source URL: larry.masinter.net Language: English - Date: 2003-05-30 12:01:24 Artificial intelligence Joshua Lederberg Combinatory logic Academia Mathematical optimization Science Cheminformatics Dendral
305	April 28, 2013 Designing a Divide-by-Three Logic Circuit c ⃝2005, Add to Reading List Source URL: www.crbond.com Language: English Lookup table Software optimization Computer programming Canonical form Logic gate Hazard Computing Arrays Computer performance
306	Stratix III Programmable Power Add to Reading List Source URL: www.altera.com Language: English - Date: 2007-05-08 19:51:54 Fabless semiconductor companies Electronic design automation Integrated circuits Altera Field-programmable gate array CMOS Power optimization Subthreshold conduction 65 nanometer Electronic engineering Digital electronics Logic families
307	Verication and Optimization of a PLC Control Schedule Ed Brinksma1 and Angelika Mader2 ? Faculty of Computer Science, University of Twente Computer Science Department, University of Nijmegen 1 Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Sequential function chart Instruction list Technology Promela Programmable logic controller
308	1 Optimization Flow Control, I: Basic Algorithm and Convergence Steven H. Low, Senior Member, IEEE and David E. Lapsley Abstract— We propose an optimization approach to flow Add to Reading List Source URL: netlab.caltech.edu Language: English - Date: 2006-08-03 19:51:46 Operations research Mathematical logic Recursion Mathematical optimization Expectation–maximization algorithm Network congestion Fold Algorithm Statistics Computing Mathematics
309	Optimization Games: An Application Maria Aloni* [removed] A b s t r a c t In an optimization game (see [5]) speaker and addressee coordinate their choice of preferred syntactic form and preferred interpretation. I Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Semantics Model theory Philosophical logic Game theory Interpretation Optimality theory Pragmatics Entailment Nash equilibrium Logic Science Mathematics
310	Every 2-CSP allows nontrivial approximation Johan H˚ astad Royal Institute of Technology Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2005-06-22 08:43:27 Constraint programming Computational complexity theory Constraint satisfaction problem 2-satisfiability Constraint satisfaction Approximation algorithm Logic in computer science Combinatorial optimization Linear programming Theoretical computer science Applied mathematics Mathematics

UPDATE